How to Force a Countably Tight, Initially Ω1-compact and Non-compact Space? I. Juhász and L. Soukup
نویسندگان
چکیده
Improving a result of M. Rabus we force a normal, locally compact, 0-dimensional, Frechet-Uryson, initially ω1-compact and non-compact space X of size ω2 having the following property: for every open (or closed) set A in X we have |A| ≤ ω1 or |X \A| ≤ ω1.
منابع مشابه
A First Countable, Initially Ω1-compact but Non-compact Space
We force a first countable, normal, locally compact, initially ω1-compact but non-compact space X of size ω2. The onepoint compactification of X is a non-first countable compactum without any (non-trivial) converging ω1-sequence.
متن کاملNagata’s Conjecture and Countably Compactifications in Generic Extensions
Nagata conjectured that everyM -space is homeomorphic to a closed subspace of the product of a countably compact space and a metric space. This conjecture was refuted by Burke and van Douwen, and A. Kato, independently. However, we can show that there is a c.c.c. poset P of size 2 such that in V P Nagata’s conjecture holds for each first countable regular space from the ground model (i.e. if a ...
متن کاملCOUNTABLE COMPACTNESS AND THE LINDEL¨OF PROPERTY OF L-FUZZY SETS
In this paper, countable compactness and the Lindel¨of propertyare defined for L-fuzzy sets, where L is a complete de Morgan algebra. Theydon’t rely on the structure of the basis lattice L and no distributivity is requiredin L. A fuzzy compact L-set is countably compact and has the Lindel¨ofproperty. An L-set having the Lindel¨of property is countably compact if andonly if it is fuzzy compact. ...
متن کاملPFA(S)[S] and Locally Compact Normal Spaces
We examine locally compact normal spaces in models of form PFA(S)[S], in particular characterizing paracompact, countably tight ones as those which include no perfect pre-image of ω1 and in which all separable closed subspaces are Lindelöf.
متن کاملMore about Spaces with a Small Diagonal
Hušek defines a space X to have a small diagonal if each uncountable subset of X disjoint from the diagonal, has an uncountable subset whose closure is disjoint from the diagonal. Hušek proved that a compact space of weight ω1 which has a small diagonal, will be metrizable, but it remains an open problem to determine if the weight restriction is necessary. It has been shown to be consistent tha...
متن کامل